| Paradigm(s) | Logic, functional, modular, object-oriented |
|---|---|
| Appeared in | 1984 |
| Influenced by | Prolog |
| OS | Cross-platform (Unix, Mac OS X, Windows) |
| License | GPL, LGPL |
| Website | http://www.ciaohome.org/ |
Ciao is a general-purpose programming language which supports logic, constraint, functional, higher-order, and object-oriented programming styles. Its main design objectives are high expressive power, extensibility, safety, reliability, and efficient execution.